JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user

Source URL: homes.cs.washington.edu

• Computing
• Java
• Type theory
• Swing
• Type system

The State of the Art in Gradual Typing Jeremy G. Siek Indiana University, Bloomington SICSA Summer School on Practical Types University of St. Andrews

Source URL: dl.dropboxusercontent.com

• Type systems
• Procedural programming languages
• Type theory
• Data types
• Gradual typing
• Boo
• Manifest typing
• Higher-order function

A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification

Equality and dependent type theory Oberwolfach, March 2 (with some later corrections) Equality and dependent type theory

Source URL: www.cse.chalmers.se

Scala for TAPL’ers Part 3 Ilya Sergey 16 November 2010

Source URL: ilyasergey.net

• Software engineering
• Computer programming
• Computing
• Functional programming
• Software design patterns
• Monad
• Scripting languages
• Type theory
• Foreach loop
• Null
• Scala
• Option type

CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

Source URL: homepages.inf.ed.ac.uk

• Mathematics
• Mathematical logic
• Theoretical computer science
• Computability theory
• Theory of computation
• Recursion
• Type theory
• Structural induction
• Mathematical induction
• Rippling
• Nqthm
• Constructible universe

RAC
 Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences

Source URL: www-i2.informatik.rwth-aachen.de

• Mathematics
• Logic
• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Type theory
• Logic in computer science
• Nqthm
• Mathematical induction
• Mathematical proof
• Recursive definition
• Induction

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

TATA INSTITUTE OF FUNDAMENTAL RESEARCH HOMI BHABHA ROAD, MUMBAISCHOOL OF MATHEMATICS Workshop on Representation Theory of Finite Groups of Lie type: Deligne-Lusztig theory

Source URL: conferences.math.tifr.res.in